It turns out Portugal is actually smaller than Spain