Having done some research, it appears I need a mini-display-port-to-dual-HDMI adapter in order to use both monitors with my Thinkpad.