Navy SEALs swim at Shedd Aquarium

In World War II, they were called frogmen. Now, they're known as Navy SEALs.