I found this board,
http://www.startech.com/AV/Converters/Video/PCI-Express-HD-Video-Capture-Card-1080p-HDMI-DVI-VGA-Component~PEXHDCAP
And it says it supports 1920 x 1080, but I see no reference to WDM. I've submitted a question to the company, but thought I would ask the forums about there experiences when needing to capture HDMI Video from PC's for future editing.
Note the program we are creating the training on is video intensive, and a screen capture tool can't keep up. We figure an HDMI splitter and a dedicated PC with a card like this or something else is required. Audio can be added later... Thanks