House GOP leaders weigh options as Trump pushes for a government shutdown fight