Distributionally Robust Optimal Allocation with Costly Verification - BizPub.ai