Geometry · Hard problem

A right triangle has hypotenuse $20$ and one angle of $30^\circ$. What is its area? (Exact answer.)