From Amazon
StarTech.com Mini DisplayPort to HDMI Adapter - 1080p - Mini DP to HDMI Monitor/Display/TV - Passive mDP 1.2 to HDMI Adapter Dongle Video Converter - Upgraded Version is MDP2HDEC (MDP2HDMI)
This product is also available at 8 unverified merchants.