Spanish explorers provide initial information on existence of stone cities and large native populations in Yucatan