Hij heeft de ministers en de gevolmachtigde ministers verzocht om op vrijdag 18 juli vanaf alle hoofdgebouwen van de rijksoverheid de Nederlandse vlag halfstok te voeren. Gemeenten, provincies en de Nederlandse diplomatieke vertegenwoordigingen in het buitenland zijn verzocht dienovereenkomstig te handelen.