Does anyone know if, per the Presidents order to all Federal Buildings to lower their flags to half-mast, if WDW is doing the same? I know they did for September 11, 2001, and 2002, so I was just curious if the did again. Also, if the Liberty Square flages were lowered as well. I know about the...