From Amazon
StarTech.com Mini DisplayPort to HDMI Adapter - 1080p - mDP 1.2 to HDMI Monitor/Display - Mini DP to HDMI Adapter Dongle Converter - 12" Long Attached Cable - Upgraded Version of MDP2HDMI (MDP2HDEC)
Memory C
StarTech.com Mini DisplayPort to HDMI Adapter - mDP to HDMI Adapter Dongle - 1080p - Mini DisplayPort 1.2 to HDMI Monitor/Display - Mini DP to HDMI Video Converter - 12" Long Attached Cable - Upgraded Version of MDP2HDMI
This product is also available at 2 unverified merchants.