I don't have HG'22 revision, but this post by AnotherDilbert caught my attention:
HG'22, p92:
MARINES AND SHIP’S TROOPS
The terms marines and ship’s troops are sometimes used interchangeably. While the two share some of the same duties, there are significant differences in scope.
Ship’s troops...