R. F. A. Studds, “Mean Sea Level”, IHR, no. 2, May 2018.