Photos of the French fast battleship Richelieu. Commissioned in 1940, damaged Dakar, before joining the Allies and repaired in the US