JBMO-SL 2019 G1

Let $A B C$ be a right-angled triangle with $\hat{A}=90^{\circ}$ and $\hat{B}=30^{\circ}$. The perpendicular at the midpoint $M$ of $B C$ meets the bisector $B K$ of the angle $\hat{B}$ at the point $E$. The perpendicular bisector of $E K$ meets $A B$ at $D$. Prove that $K D$ is perpendicular to $D E$.