Girl, 6, dies after swimming mishap in public pool