Großartige Pumpe jener Algarve (Praia da Marinha), Portugal