Peter Strzok fired after anti-Trump texts, as the president signs a defense-authorization bill to provide $717 billion.