Diego Alarcón de Ocaña como alcalde mayor de Ixmiquilpan.