If its removed, does it mean the military defaults to its previous restriction against gays serving openly in the military, or do new regulations have to be enacted?