At the latest meeting of the Domestic Names Committee of the U.S. Board on Geographic Names, activists demanded that a Texas stream known as Cripple Creek be renamed, despite the wishes of a local judge.

†