Vietnamese soep met gegrilde ossenhaas / Vietnamese soup with grilled beef tenderloin