Atmospheric pressure corrections in geodesy and oceanography: A strategy for handling air tides | Synapse