Which sentence is more formal?

Kaya hoped to invest in Marie's new technology company, but she missed the opportunity.
or
Kaya hoped to invest in Marie's new technology company, but that ship has saled.

The sentence "Kaya hoped to invest in Marie's new technology company, but she missed the opportunity" is more formal.