Where does “바다사자” come from?

바다사자 (Korean) comes from Korean 바다, from Proto-Korean patak — sea; ocean.

바다사자 (Korean): sea lion; the Japanese sea lion, Zalophus...