TEMPERSEA. Temporal evolution of temperatures in the Red Sea and the Gulf of Aden based on in-situ observations (1958-2017), supplement to: Agulles, Miguel; Jordà, Gabriel; Jones, Burt; Agustí, Susana; Duarte, Carlos Manuel (2020): Temporal evolution of