What nickname did the crew give to the mechanical shark used in Jaws (1975)?

“Bruce” was the nickname the crew gave to the mechanical shark used in Jaws (1975).

The shark was designed by Joe Alves.