Gary Johnson was taken by a shark while diving off Esperance