portugal the man name origin