Gov. Ron DeSantis has ordered flags to fly at half-staff Tuesday, from sunrise to sunset in Volusia County to honor Capt. Jonathan Campos.

At the beginning of Trump’s first term, administration officials also asked employees at multiple agencies to cease communicating with the public, The Washington Post reported at the time.