With the threat of a U.S. government shutdown looming at the end of the month, local officials in border towns are worried that staff shortages among federal workers would make it harder to stop criminal activity and process an influx of migrants. Victor Treviño, the mayor of Laredo, Tex., foresees a “catastrophic situation” if House Republicans are unable to agree on a spending plan.