Seared monkfish, bok choy, onion and mashed potato with porcini mushroom sauce