The US military used the Harry S Truman destroyer.