Magnetic storm-time red aurora as seen from Hokkaido, Japan on December 1, 2023 associated with high-density solar wind