Does it have any alternate names? According to Google, there is no Sullivan Lake in Kentucky. Where is it located? Which part of the state...