San Miguel mourns teen killed at church feast as the city buries 17-year-old Luis Ángel and presses officials on security after the attack . . .