Was Robin Williams money when he died?