Segundo a publicação, o helicóptero presidencial Marine One decolou da Casa Branca na tarde desta terça-feira. No entanto, controladores de tráfego aéreo não interromperam as operações de voos comerciais no Aeroporto Ronald Reagan, em Washington, como mandam os protocolos de segurança.