Porto Rico 72 å 80 örn;