What is the correct/safe way to delete all comments?

Yes. That will be sufficient. And I highly recommend that you activate the Akismet plugin to block spam. Probably if you think there might be any genuine comments in the 13k pending ones, then install and activate Akismet first. Then go to Comments in the WordPress Dashboard, and click on ‘Check for Spam’. It should automatically move all spam to the Spam folder.