Grilled Halibut, Eggplant, and Baby Bok Choy with Korean Barbecue Sauce