Question 18In the figure, $ABCD$ is a square of side length 2, $O$ is the midpoint of $AD$, $EF$ is perpendicular to $CO$ at $M$, and $OM=1$. Find $EF$.