bernie sanders and mike lee want a fight with the saudis. trump's working to stop them.