Last Sunday, St Martin’s Eve, was also the 238th birthday of the US Marine Corps, a naval infantry whose ranks have included many Irish.