Marine geodesy; an international journal of ocean surveys, mapping and sensing