Practice problem
Find Sin, Cos, Tan from Lengths of Triangle Sides
===
Today (August ) is National Lighthouse Day!

From the observation deck of the lighthouse meters above the sea, you spot two ships in the distance. The angles of depression to the ships are and . What's the distance between these ships rounded to the nearest integer?