Trump increasingly frustrated on Iran military options, sources say