Deaths due to choking in Prader–Willi syndrome