Forcing "NS_ω_1 is ω_1-dense" From Large Cardinals - Andreas Lietz (2024)