Federated Learning and Trajectory Compression for Enhanced AIS Coverage