Can you use a 401(k) hardship loan to pay off credit card debt?

You could pay off your credit card debt with your retirement funds, but there are likely better options. Source