How a ship is launched