Thanks
Wow. I wondered if the President would fly the White House flag a half-staff. This is quite an honour for a great man, and says something about the President.