No, they received their own stand alone message!
From your link to the WH page:
On behalf of the American people, we would like to extend our greetings during this Hajj season Eid Mubarak.
*** Hey, Hussein, do NOT send any such message on MY behalf. (Yes, I am yelling.)