Fox: White House protector and most decorated K-9 in US history dies: 'a very good boy'