Plat of the city of Leroy, Marion Co., Florida.