Final environmental impact statements. Red River Lake, Kentucky, Kentucky River Basin.