jmc

In triangle $ABC$, $BC=20\sqrt{3}$ and $\angle C=30^{\circ }$. Let the perpendicular bisector of $BC$ intersect $BC$ and $AC$ at $D$ and $E$, respectively. Find the length of $DE$.