HoloOcean: A Full-Featured Marine Robotics Simulator for Perception and Autonomy | IEEE Journals & Magazine | IEEE Xplore