Real first name of U.S. president Grover Cleveland; it was also that of Texas pioneer Austin
[DOC] [TLE] Tx State CemeteryBlack2 - Texas State Cemetery [PAR] F. Austin, Robert Potter, and Edwin Waller  Austin's first mayor.