http://services.corporate-ir.net/SEC.Enhanced/SecCapsule.asp...
Also, that refund is something that happened only in 2017; they paid over $1B in federal taxes in 2016, for example.
http://services.corporate-ir.net/SEC.Enhanced/SecCapsule.asp...