Trump to nominate a top Ohio prosecutor as U.S. Attorney in D.C.-official