It's likely from a NYTimes (or maybe LATimes or WaPo) crossword where all 4-10 of the longest answers followed the same punny format. But yes, it's intentionally left up to the person solving to figure out the theme, usually by filling many of the easier/shorter non-theme answers first. This style makes these prestige hand-crafted crosswords (like those in the NYT and a couple other outlets) particularly satisfying/rewarding to solve. The themes can be amazingly creative and original on a daily/weekly basis.