Le 3 juillet 1940, dans quel port algérien la Royal Navy détruisit-elle une partie de la flotte française ?