A boy dives into the sea at the El Chorrillo port in Panama City.