Other news sources are carrying this. Example: https://nyti.ms/2AbVQOP https://www.nytimes.com/2018/10/15/obituaries/paul-allen-dea...