their patron saint is san miguel arcangel