One thing that I don't see anybody mentioning is how the Efke 25 film has less red sensitivity than the rest. It's almost orthochromatic! This means the use of filters and such will be compromised, unless you shoot without.
I have only ever shot a few rolls of Pan-F+ so I will not offer my opinion of it.
TMX and Acros - that's an interesting comparison. I never really look at grain, but I trust previous accounts here that the resolution and grain is equal. So is reciprocity. Both are stable to 2 minutes.
What I look at is how they look in a print. The TMX gives me a bit more 'clinical' look, a concept that is hard to describe, but I feel a silver print has that wonderful straight line curve if developed properly where you have linear representation of tones across the grayscale. Watch the highlights in processing, though, as there is a shoulder to look out for.
Acros gives me a smoother and creamier look, it seems a little bit more 'organic' in its tones, behaving a bit more like a random grain emulsion, like FP4.
The differences are subtle, and I have to put prints side by side to even see a difference. It's not worth bickering over to any extent. If I were you I wouldn't even look beyond Acros.
Have a fun trip, Sandy!