Operation Ironclad: Battle for Madagascar, 1942