Trump: If Senate leaders reach deal to end shutdown, he would back it