By defitnition, a pitch helmet is a lightweight hat worn to protect the hat from what?