Should the NFL Monitor the Mental Health of Its Players?