If Puerto Rico were ever to become the 51st state, the US flag would need to be redesigned. On what date would the new flag become effective?