Flags should be flown at half-staff at the White House and all public buildings and grounds, at all military posts and naval ...