Yes it is most likely a mistake on sedo's part. Maybe they are blocking all domains that start OC (Olympic Committee) which does seem a ridiculous scenario.
Emailing them should sort out the problem as this quite clearly is not a trademark infringement with the IOC