How does the irs know I used a coverdell distribution to pay school expenses. I deposited check into my bank and then paid online to the school