US military reportedly carried out strikes against Iranian warship off coast of Sri Lanka, according to reports citing US official