Heraldo de Madrid - Oceans warmer last month than any May on record