IIRC, Ultrathon by 3M was originally tested in the Caribbean. Lower DEET (34% lotion), it is formulated to last longer than regular DEET spray when perspiring. I’ve used it for years, alternating with Picaridin in the past couple of years. Both have great reviews.
Who knows what the AF was using.