Anyone know why the flag at Gage Park is at half mast today? Can’t find any official reasons online.