Who served in 1942 as the Republican member of the Kentucky House of Representatives who's district is on the border of Green River Lake?