Definition:

petcock