IOGear's new GWHDKIT11C is a bit pricey, but uses a convenient dongle format that doesn't require an available HDMI port.
IOGear's wireless HDMI extender embeds 5GHz technology in a USB-C dongle
Lookup Archive KVMGalore Knowledge Base
Wirelessly Broadcast 4K Video from Any 4K HDMI Devices IOGEARs 4K Wireless HD TV Connection Kit is the perfect solution for wirelessly streaming 4K video and audio from your 4K game consoles Blu-Ray players set top boxes or from your Windows 10+ PC Android device MacOS X iPhone or iPad to your 4K UHDTV projector or monitor. Use the built-in dedicated Wi-Fi to stream high quality 4K video and audio from up to 100 feet* to any connected screen.
Iogear - 4K Wireless HD TV Connection Kit
IOGEAR - GWHD11 - Wireless Video Connection Kit for 1 TV with HDMI®
IOGear's wireless HDMI extender embeds 5GHz technology in a USB-C dongle
Wireless Extenders - J-Tech Digital
IOGEAR - GWHDKIT11C - Share Pro™ USB-C Wireless HD Video Transmitter and Receiver Kit
eLink 100 - Wireless
Lookup Archive KVMGalore Knowledge Base