to lay down a ship