Credit to Trump (and Mexican authorities) for crackdown in cartels