I got it. The hose was badly clogged and the washer apparently could not drain so it shut down and the door remained locked. After I plugged it in and let it be for a few minutes it unlocked. Thanks for the resource here though. I'm guessing I could have gotten it to drain (and open) by unplugging the line first.