Marines are Naval Infantry so I’m sure it includes them.
Hmm.. they must have changed that. Back when I was in, the Navy was the tranportation wing of the United States Marine Corps.
:)