The Olympic Diving Pool Turned Green, and We Know Why!