There are a couple of questions that will make it easier to recommend the right IEM, like what kind of signature you like, whether you prefer dynamic drivers or balanced armature characteristics, how important is isolation (since you'll use them for travel I assume that's important...)
Personally I prefer DD, I found them to be more musical, coherent and better value in the price range you are looking at.
To your listed IEMs:
I had the
Kanas Pro and it really got me started in IEMs. This review (German) got me interested:
http://headflux.de/moondrop-kanas-pro-edition/. I was really impressed but after some weeks with them I started to realize that I perceived 2 issues, one was with timbre which could sound a little off and another one was a lack of speed and energy in the mid bass section. Sub bass was strong but a bit slow. That got me started to look for improvement, ending up with the JVC FD02 and the EX800ST
The
AGK N40 had my interest when I saw them for ~€150, down from the MRSP of 400, but then I found this review on headflux:
http://headflux.de/akg-n40/ It is rare to read a critical review, and this one made me decide I won't spend the money.
Recommendations:
The
Tanjim Oxygen seems to be a very good alternative to the Moondrop Kanas Pro. I listened to it in a store for a short time and it seemed to have similar characteristics (transparent, detailed and smooth sound) but more balanced than the KPE, with more even bass. Check the Oxygen thread, there are direct comparisons.
My personal favorite is the
JVC HA-FD02 with a simple mod and a cable upgrade. I have written a lot about them in this thread:
https://www.head-fi.org/threads/jvc-ha-fd01-class-s-solidege.868414/page-13#post-14870966
Short summary:
They are comfortable, play any kind of music well, but they are particularly great for vocals.
I bought them as an upgrade to the chinese Moondrop Kanas Pro, and while those were good enough to get me hooked on IEMs, the FD02 with the mod is just a lot better at almost the same price.
Timbre is very accurate (I am very ciritcal with classic music), bass is weighty and hits hard (although not as fast and textured as the Sony EX800) overall all frequencies are clear, detailed and smooth. Male and female vocals are equally well reproduced, very musical and emotional. Treble is very even without spikes or dips, smooth and extended and and allows listening at high volume.
They are, however only available from Amazon Japan. Easy enough to buy, but returns might be difficult.
If you want more bass and a smooth and detailed mid/treble section, I'd check out the Sony XBA-N3.