Maritime radionavigation-satellite service