Tax code section 165(e) provides examples just like OWCP and states that they’re not allowed for losses. Did you have any luck claiming a theft loss?