In rectangle $ABCD$, $\overline{AB}=20$ and $\overline{BC}=10$. Let $E$ be a point on $\overline{CD}$ such that $\angle CBE=15^\circ$. What is $\overline{AE}$?
$\textbf{(A)}\ \dfrac{20\sqrt3}3\qquad\textbf{(B)}\ 10\sqrt3\qquad\textbf{(C)}\ 18\qquad\textbf{(D)}\ 11\sqrt3\qquad\textbf{(E)}\ 20$
Note that $\tan 15^\circ=2-\sqrt{3}=\frac{EC}{10} \Rightarrow EC=20-10 \sqrt 3$. (It is important to memorize the sin, cos, and tan values of $15^\circ$ and $75^\circ$.) Therefore, we have $DE=10\sqrt 3$. Since $ADE$ is a $30-60-90$ triangle, $AE=2 \cdot AD=2 \cdot 10=\boxed{\textbf{(E)} \: 20}$