Did The IOC Just Cut The Size Of The ’32 Olympic Village By 40%?