Harvey Sets New US Record for Tropical Rainfall