Launching of the battleship “Ruggiero di Lauria”