Detailed Instructions: In this task, you are given a text of many news articles seperated by special token "|||||". Your task is to summarize them.
Problem:MIAMI A Miami man remained hospitalized in serious condition after a crocodile for the first time in Florida history attacked a pair of late-night swimmers near an upscale suburb, a wildlife official said on Monday. 
  
 Lisset Rendon, 23, was bitten in her left shoulder before she could struggle out of the crocodile's jaws, after she and Alejandro Jimenez, 26, jumped into a canal, Jorge Pino, a spokesman for the Florida Fish and Wildlife Conservation Commission. 
  
 “They started swimming and apparently at some point they came face-to-face with a nine-foot crocodile,” Pino said. 
  
 After Rendon was attacked, Jimenez was bitten in the hands and torso as he scrambled toward safety at a nearby dock early Sunday morning, Pino said. 
  
 Though Florida is well known for incidents involving its large alligator population, American crocodiles number less than 2,000 and live mostly in the southeastern region near the Everglades. 
  
 The large reptiles are shy and reclusive, Pino said, and feed mostly between the hours of dusk and dawn. Another couple in an unconfirmed 2011 attack claimed a crocodile flipped their kayak as they paddled through the Florida Keys. 
  
 Crocodiles live mostly in saltwater, but can survive in the brackish waters found in Florida when the ocean meets groundwater in a web of canals and waterways. 
  
 The canal where Rendon and Jimenez went swimming is a known crocodile habitat, and wildlife officials spent the day warning residents about the dangers of wading into unfamiliar waters. 
  
 “We certainly do not recommend you go swimming during their peak feeding hours,” Pino said. 
  
 (Editing by David Adams and Leslie Adler) ||||| CORAL GABLES, Fla. (WSVN) -- The hunt is on for a crocodile who bit two people in a canal behind a Coral Gables neighborhood. 
  
 Trappers had one of the crocodiles hooked Monday night, but it managed to wrestle itself free and swim away, so Tuesday the game of hide-and-seek continues. "We had one hooked for quite some time, but unfortunately he broke the line," said Florida Fish and Wildlife Conservation Commission spokesperson Jorge Pino. 
  
 FWC officials said a crocodile bit two swimmers who jumped into a canal sometime between 2 a.m. and 3 a.m., Sunday, at the end of a house party along the 1300 block of Lugo Avenue and Gables by the Sea. Pino said, "They were jumping in and out of the water. Perhaps that attracted the attention of the crocodile." 
  
 Alejandro Jimenez and Lisset Rendon, who were guests at the party, decided to take a late-night swim in the canal, and that's when they were attacked by a crocodile lurking beneath the surface. "One crocodile came up and bit the female in the shoulder," said Pino. "She managed to get away and swim to the dock. The male that was also swimming also suffered some injuries or bites to his hands, but he also managed to make it to the dock safely." 
  
 Both victims were transported and treated at South Miami Hospital. Jimenez's sister told 7News her brother is still recovering from the bite to his hand and other small cuts. 
  
 Officials said residents in the area know there are crocodiles in the water. The same crocodile has made appearances in the past, one which was caught on camera in Fred Santiago's backyard. "Crocodiles started coming in after Hurricane Andrew," he said. "That was the first time I saw one across the canal, sunning himself and living here ever since." 
  
 FWC officials said this was the first attack from a crocodile on a human ever reported in the United States. 
  
 Once the animals are caught they will not be released back into the wild. Instead, the crocodiles will be taken to a rehab facility where they will remain for the rest of their lives. "We protect Florida's residents first," said Pino, "and we want to make sure that we remove these crocodiles from this area to avoid any hysteria or to avoid anybody from getting bitten in the future." 
  
 One of the two crocodiles FWC is hoping to catch is nearly 12 feet long. "They do come into this area, and they've known to be in this area for quite some time," said Pino. "The one that we're trying to locate, that's the larger crocodile known to the residents as 'Poncho,' has actually been here for nine years." 
  
 Trappers continued searching for the crocodiles late into Tuesday night but came up empty-handed. They plan to return to the scene Wednesday. |||||
Solution:
Alejandro Jimenez, 26, and Lisset Rendon, 23, went for a swim at 2:30am Sunday in a Florida canal during a house party ... and exited the water with the honor of being the first people in the US bitten by an American crocodile. Residents of the South Miami neighborhood where the incident took place say they've actually named the three large crocodiles that live behind their homes—Pancho, Snaggletooth, and Streetwalker—and wildlife officials assume one of those three is to blame, the Guardian reports. Jimenez is still in the hospital recovering from bites on his torso and hands; Rendon is home recovering from a shoulder bite. One wildlife official says the couple struggled with the 9-foot crocodile and eventually made their way to shore, where other partygoers who heard the noise pulled them out of the water. Officials aren't calling it an attack, though, because "crocodiles are most active at dawn and dusk, they’re looking for food, and this one would have interpreted what was in the water as food," he said. "It’s common sense never to swim where you know there are crocodiles and alligators." Crocodiles typically avoid contact with humans, Reuters notes. Trappers are looking for the crocs and will move them to a rehab facility, WSVN reports. (In Australia last week, a crocodile known as "Michael Jackson" killed a fisherman.)