How the US Navy launches new warships into service