puerto rico flag vs ohio flag