digging knife

What knife this guy is using? Maybe a Hori-Hori but which one? I gave up YouTube many years ago - when I found out Google bought them out - so I'm not able to ask questions. I've seen a lot of videos where this knife, or one similar to it, is used. Thanks in advance for the help! Cheers. -DH-