How the NFL Spent Its Summer Vacation