This took some looking ( thank you Wikipedia.) since I have never seen or heard of any of them before. Probably no one here has either since I'm older than dirt lol.
Marine Boy was one of the first color animecartoons to be shown in a dubbed form in the U.S., and later in Australia and the United Kingdom. It was originally produced in Japan as Undersea Boy Marine (海底少年マリンKaitei Shōnen Marin?) by Minoru Adachi and animation company Japan Tele-Cartoons.- Wikipedia https://en.m.wikipedia.org/wiki/Marine_Boy