"Onda de calor marinha": temperatura da água do mar no Algarve atinge recordes