WOCE Sea Level, WSL (2006): Daily sea level from coastal tide gauge station Pensacola in 1947 (Research quality database). Sea Level Center, University of Hawaii, PANGAEA, https://doi.org/10.1594/PANGAEA.430868