When punt receivers want the ball to come to a stop, rather than catch it, they say "peter" to alert their teammates. Does this practice originate from the phrase "peter out"?