Reports that the water in the pool turned red were, however, an exaggeration.
Tuy nhiên, các tường thuật rằng nước trong bể chuyển sang màu đỏ là cường điệu.