Twitter reacts to the Olympic diving pool turning green