J. Randolph Tucker Jr. — American politician (1914–2015)