Mar, Pedro do, Portogallo