Mirantis acquired Docker Enterprise, last year, so at the very least they lost whatever portion of their valuation was tied to that... though I can't imagine it was that much.