War at sea: South African maritime operations during World War II