Claim: If a symmetric monoidal category is finitely cocomplete, then it is distributive.
Proof: This is trivial.