125 years after Johnstown: Facts about the flood