美军：周日打击了伊朗的一艘潜艇和一处舰船维修设施。