Did this face mask warrant a ban by the NFL?