Constraining high-energy neutrinos from choked-jet supernovae with IceCube high-energy starting events