Imported US ice helped 19th century British officials beat Indian heat waves