Unless those tracks are shorter than :20 they are not missing.
Internal names are a lot different even the worlds have "wrong" names.
For example world 3-1 the world is called "w03_alps" but world 3 is actually w02_savannah (and no there is no w00). And level 3-1 which is called Grassland Groove is called "l01_savannah_parade".
Horn Top Hop's definitely not there. It should be one of the Alps tracks. https://www.youtube.com/watch?v=IAfo6YI4KGs
If it's not in the regular music folder then the only thing I can think of is if it's played from a sound effect file for some reason. It wouldn't be the first time Retro did that, since that's how Metroid Prime 2's title screen music works too...
The sound effect format used by Prime 3 and the first DKCR is CSMP; does Tropical Freeze still use the same format? If so, it's really simple to convert to dsp; just chop off the first 64 bytes and voila.
I'd really like to get to look through the game's other files as well, so I'm interested to know how you got these, if you can share? I love this game's soundtrack so I very much appreciate the music rips either way!