L'onda più alta del mondo è stata surfata in Portogallo