Richelieu class battleship