In this task, you are given news articles and you need to generate a highlight, i.e., a short summary, with a maximum length of 10 lines.

(CNN)At least 10 people and two attackers were killed in Tuesday's attack against the luxurious Corinthia Hotel in Tripoli, Libya, a spokesman for a security division of the Ministry of Interior in Tripoli said. Five foreigners -- one American, one French citizen, and three people from Tajikistan -- were killed in the attack, Essam al-Naas said. Five Libyans were killed. The Libyan branch of ISIS claimed responsibility for the attacks, and released photos of the two gunmen, it said had carried out the attacks as Abu Ibraheem Al-Tunsi and Abu Sulaiman Al-Sudani. Their naming convention indicates that the men were of Tunisian and Sudanese origin, respectively. Al-Naas said it appears the attackers were Libyans. American contractor David Berry was among the people killed in a terrorist attack at the Corinthia Hotel in Tripoli, Libya, on Tuesday, according to Cliff Taylor, chief executive officer of Crucible, a security firm where Berry was working. The FBI is expected to open an investigation into the incident, two U.S. officials told CNN. A State Department official confirmed the death of a U.S. citizen, but would provide no further information. A French citizen was among those killed, according to the French Foreign Ministry. Al-Naas earlier said at least two Libyan security personnel had been killed in the attack and that three gunmen were holed up in the hotel. An online group that supports ISIS said the attack was carried out in the name of Abu Anas al-Libi. Al-Libi was an alleged al Qaeda operative accused of involvement in the bombing of U.S. embassies in Africa. He was captured by U.S. special forces in Libya. He died in a U.S. hospital this month. A spokesman for the Corinthia Group in Malta told CNN there had not been a hostage situation in the hotel, as some reports suggested. "We are trying to take possession of the hotel back to assess the damage," he said, but Libyan security forces were not yet allowing that. The attack began when militants detonated a car bomb in the parking lot of the hotel. The gunmen then shot their way into the hotel. Guests were evacuated to safety, however. The five-star hotel is popular among government officials, some of whom reside there. A witness to the events told CNN that all roads leading to the Corinthia Hotel had been sealed by security forces. People were warned to stay away, the witness said, adding that there had been exchanges of gunfire. CNN's Mohammed Tawfeeq and Stephanie Halasz contributed to this report.
Libyan branch of ISIS claims responsibility; names attackers .
Libyan spokesman says death toll is at least 10 people at hotel and two attackers .
Siege is over and the gunmen are dead, hotel company spokesman says .
An American security contractor is among the dead, his company says .

(CNN) -- World number one Caroline Wozniacki suffered another morale-sapping defeat at the French Open as she was dumped out by 28th seed Daniela Hantuchova. The Dane, who is yet to win a Grand Slam tournament, was beaten 6-1 6-3 in just 73 minutes to extend her miserable run at Roland Garros. Her best performance in Paris was reaching the quarterfinals in 2009 and she struggled against Hantuchova, from Slovakia, who was competing in her 41st major. Hantuchova reeled off nine straight games to seal the opening set and take a commanding lead in the second but Woznaicki offered herself hope when she secured her first break to reduce the deficit to 4-2. But Hantuchova held serve twice to seal one of the biggest victories of her career and set up a meeting with 2009 champion Svetlana Kuznetsova in the last 16, after she beat Canadian Rebecca Marino 6-0 6-4. "She played very well today, better than me for sure," Wozniacki told a press conference. "She knew what she wanted to do and I need to get back on the court and practice and come back stronger. "Kim had a tough loss yesterday and I had a tough loss today and that's what can happen. Since we are number one and two we must be doing something right. "I am young and I get experience every time and you learn more from your losses than from your wins." After Wozniacki's exit, and Kim Clijsters defeat on Thursday, the trend for upsets continued as Australian 8th seed Samantha Stosur was beaten by unseeded Gisela Dulko. The Argentine set the tone by taking the first four games of the match, and though she dropped the second set, Stosur's 35 unforced errors counted as Dulko wrapped up the match. Afterwards, she told a press conference she was dedicating her victory to her brother's twins, Myla and Teo, who were born overnight. "Yesterday night I was awake really late," she said. "You know, it was very emotional, because I would have loved to be there, but I'm here. The key to the match was to start well, to be aggressive from the start," Stosur added: "She seemed to be out ahead a little bit better and really kind of be the one dictating the points, which, for me, I'm usually the one able to do that." Elsewhere, defending champion and fifth seed, Francesca Schiavone, from Italy, had no such trouble making the fourth round after her Chinese opponent Shuai Peng retired hurt with the score at 6-3 1-2. Russian third seed Vera Zvonareva beat Anastasia Rodionova, from Austria, 6-2 6-3 and Anastasia Pavlyuchenkova, the 14th seed, triumphed over Nuria Llagostera Vives, from Spain, 3-6 6-3 6-3. Serb Jelena Jankovic, the 10th seed, beat Bethanie Mattek-Sands, from the United States, 6-2 6-2, while 11th seed Marion Bartoli, from France, beat Julia Goerges, from Germany, 3-6 6-2 6-4.
Caroline Wozniacki beaten at the French Open by Daniela Hantuchova .
World number one loses 6-1 6-3 in just 73 minutes at Roland Garros .
Australian 8th seed Samantha Stosur dumped out by Gisela Dulko .
Defending champion Francesca Schiavone through as Shuai Peng retires hurt .

(CNN) -- A body found in an Indiana lake has been identified as that of Teleka Patrick, the Michigan doctor who's been missing since December, the Porter County Coroner's Office confirmed. Her body was discovered Sunday in Lake Charles, west of Gary, Indiana, officials said. The cause and manner of death are still pending further investigation, but are consistent with drowning, the coroner said in a statement Tuesday. An autopsy revealed no trauma, the statement added. Mysterious disappearance . The 30-year-old medical resident failed to show up for work on December 6 in Kalamazoo, Michigan. The night before, her 1997 Lexus was discovered abandoned more than 115 miles away in a ditch off of Interstate 94 in Indiana, directly south of the lake where she was ultimately found. Police brought out dogs to track Patrick's scent. They led investigators out of the ditch where Patrick's car rested to the highway. There, the scent went cold. "We looked everywhere," Sgt. Rick Strong of the Indiana State Police told CNN in December. Videos provide clues . Surveillance video and home videos uploaded to YouTube provided investigators with clues about Patrick's movements in the weeks, days and hours before she vanished. The YouTube videos showed Patrick talking, cooing and singing to someone unnamed and apparently unknown. Patrick's mother told CNN she wasn't aware of any romantic relationship her daughter may have had. But the videos have an intimate feel to them. "Hi, baby," Patrick says in one. "I am just coming to you to say 'hi' and tell you about my day." In another video, Patrick shows a table set for two with omelets and pancakes. "If you were here, this is what would be your plate," she coos. In a surveillance video from a Radisson hotel in Kalamazoo, not far from where she worked, Patrick is seen on the night of December 5 around 7:30 p.m., hours before police found her car in Indiana. She spent about 10 minutes talking with employees at the reception desk but ultimately left. There's no audio on the video, and it's not clear why Patrick failed to book a room. But at 7:48 p.m., she strode across the hotel's tiled floors, out the door and onto a hotel shuttle bus. Those are the last known images of her. Her family says Patrick, who had just moved to Michigan, bought a plane ticket to come visit them for the holidays in Florida. In January, family members urged investigators to remain focused on the possibility that foul play was involved in her disappearance, after reports surfaced that gospel singer Marvin Sapp had filed a personal protection order against Patrick in September. In court documents, Sapp said Patrick "has claimed him as her husband, had moved from California to Michigan, joined his church, had contacted his children and had been to his home. "I have at least 400 pages of correspondence from her which I have never responded," his complaint reads. Questions remain . While the discovery of Patrick's body answers some questions, it leaves many more unanswered for the grieving family of a young doctor described as "wonderful," "beautiful" and "talented." Investigators have said they have no evidence of foul play, but they also don't have conclusive evidence that Patrick's movements on December 5 were voluntary. "We have scoured, searched and looked at everything we could possibly look at -- all the exits, all the businesses, all the hotels," Strong said late last year. "We posted fliers; we talked to neighbors (who live near the highway). We did a full-blown, on-the-ground search in the wooded area north of where the car was." Carl Clatterback, a private investigator hired by Patrick's family, told CNN that investigators are looking into the videos. A central question: Who was Patrick talking to in the videos and does that person know anything about what happened to her? CNN's Tiffany Campbell and Julia Lull contributed to this report.

Body of the 30-year-old medical resident discovered in Indiana lake April 6 .
Patrick failed to show up for work in Michigan December 6 .
Investigators combing through 20 minutes of YouTube and surveillance video .
Family, investigators trying to piece together what happened .