Mexico’s most wanted cartel boss is dead. Is it enough for Trump?