OrderBook: restore erroneously deleted executeOrder() call