Ship launches are a maritime tradition. People gather to see a great vessel being put in the water for its…