Antonia, Batista, King of Spain's surveyor.