Trump leans toward expanding military operations in Iran - WSJ