Diving companions: sea lion, elephant seal, walrus