John Randolph Tucker — American naval officer