Since WWII, the US military has used the M1942 machete, also named Machete, Rigid Handle, Steel.
The approved vendor is the Ontario Knife Company. In case you’re curious, it’s NSN is 5110-00-813-1286.
Woodman’s Pal has also been used by the military as the LC-14-B. In fact, modern commercial versions come with a copy of the original military owner’s manual!