Tomás Geraldino Geraldino (Jerez de la Frontera, 1754- frente al Cabo de San Vicente, 14 de febrero de 1797)