I have nothing against instructors using the name of a military unit to sell either their own hand-to-hand combat system or one that is used effectively by that unit. Not at all. For the most part, I see this as a marketing thing and each instructor/author has to make decisions on that front.
If you want to connect a USB device to an HDMI device then you must use a converter box. This is a set of electronics that change the protocols and signals. The only adaptor which works is the DVI-HDMI ones.
This USB Type C to HDMI Female Adapter allows you to connect a high definition monitor or TV to your desktop PC or laptop using your computer's USB 3.1 port. This adapter supports resolutions up to 4Kx2K, so you can experience full Ultra HD. HDMI Connector Dimensions (LxWxH): 1.77 x 1.77 x 0.60. USB Connector Dimensions (LxWxH): 1 x 0.5 x 0.25.