The U.S. Coast Guard ended the search Sunday for a 9-year-old boy who’d gone missing from a Panama City beach Saturday evening. His body was discovered by a Florida Fish and Wildlife Conservation Commission diver, according to a Coast Guard press release.