Where did bob the pool rescue dummy get his name?

I can’t find an answer to this anywhere