Magnetic Storm‐Time Red Aurora as Seen From Hokkaido, Japan on 1 December 2023 Associated With High‐Density Solar Wind | Synapse