the white house on a hot summer day .