Farewell to the crew of the American aircraft carrier Theodore Roosevelt with their commander, who reported the coronavirus