What is the correct term for an auctioneer's hammer?
gavel