Notice flags at half-staff today? Here’s why