This year has seen many 75th anniversaries of battles and campaigns from the darkest hours of 1942, with the Battle of the Coral Sea (4 to 8 May) prominent. But in all these commemorative activities …