Antonio de Coca fue nombrado capitán del "San Antonio".