Why hasn’t this ever become the Portuguese flag?