IOCは違約金3000億円払うべき。