FIRST NAMES: Real first name of U.S. president Grover Cleveland; it was also that of Texas pioneer Austin