Trump pulls nomination of E.J. Antoni to lead Bureau of Labor Statistics, AP source says