Premise: 41 Commando or No. 41 (Royal Marine) Commando was a unit of the Royal Marines trained as Commandos during the Second World War. They were part of the all Royal Marine 4th Special Service Brigade that took part in the Normandy landings in June 1944 and later that served in World War II, the Korean War, and in Northern Ireland. They were disbanded in 1981.
Hypothesis: 41 Commando was a nick given by the president