EGMO 2021 Problem 3

Let $A B C$ be a triangle with an obtuse angle at $A$. Let $E$ and $F$ be the intersections of the external bisector of angle $A$ with the altitudes of $A B C$ through $B$ and $C$ respectively. Let $M$ and $N$ be the points on the segments $E C$ and $F B$ respectively such that $\angle E M A=\angle B C A$ and $\angle A N F=\angle A B C$. Prove that the points $E, F, N, M$ lie on a circle.