20180709 world.us: Trump to name Supreme Court nominee; battle to ensue