Duke Prince Philip when a Royal Navy officer in World War II