NFL professional football franchise; formerly know as the Washington Redskins