۱۰.۲ میلیارد دلار؛ دارایی صندوق بازنشستگی کشوری