Most mornings, Silvia Hernandez barely has time to turn on the sign adorning her name at her eatery in Denver, Colorado. As breakfast orders come in, she’s working the flattop grill — flipping French toast, cracking eggs and warming tortillas for the green chile pork burritos that the regulars enjoy.?

US Border Patrol Chief Rodney Scott is stepping down, according to a source familiar with the decision, marking the latest change in the border agency’s leadership structure.