Flags are to be flown at half-staff for 30 days from the day of a current or former president’s death “on all buildings, ...