Quatre-vingt-neuf Marines du 42 Commando étaient arrivés à Brunei
mardi 11 déc. 1962 Brunei
Quatre-vingt-neuf Marines du 42 Commando étaient arrivés à Brunei le 11 décembre, dirigés par le capitaine Jeremy Moore (qui a plus tard commandé les forces britanniques pendant la guerre des Malouines).