《华尔街日报》13日引述一名美国官员的话说，至今有13名美军人员在对伊朗军事行动