This reminds me of TSR, the makers of Dungeons & Dragons, trying to enforce intellectual ownership back in the mid-80s of the term "Nazi."
Thats an urban legend ;-)
As to the argument that the autor should have avoided the term in the first place:
The trope of space beeing like an ocean is older than spacetravel itself.
If you call spacegoing vessels spaceSHIPS, how would you name infantry stationed on and operationg from these ships?
How about "Space Marines"?
Well you can`t, because some english blokes who stole their whole universe from 2000 AD, Herbert and Heinlein have named their *always-looking-like-taking-a-shit*plastic soldiers that way.
How did they come up with that, you ask?
Well, they are kind of like marines... in space.. go figure.
Hey GW, quick, get a trademark for "greedy asshats who sell overpriced crap without QC and don`t give a *** about their customers" before someone else enters into that special area of expertise :-D