Navy beans with tomatoes and ketchup