How much of the Colorado river is in Colorado?