U.S. Route 27 in Kentucky, runs 190.785 miles from the Tennessee border to the Ohio border, it crosses into the state at which reservoir in Kentucky?