PORTO: El gentilicio de porto es portexo.