Malaysia ex-PM Mahathir discharged from hospital after checks: source | Thai PBS World