«Distrito de San Miguel» puede referirse a: