Take the penalty-free 401k withdrawal that the CARES ACT allows?