The (amusing in its existence) lobbying group for the hot dog industry agrees (scroll down a bit or just search for ketchup)

http://www.hot-dog.org/culture/hot-dog-etiquette