Source: https://money.stackexchange.com/questions/86186/keep-my-second-401k-or-pay-a-chunk-of-mortgage