; Whereas, at Omaha Beach, destroyers USS Baldwin (DD–624), USS Carmick (DD–493), USS Doyle (DD–494), USS Emmons (DD–457), USS Frankford (DD–497), USS McCook (DD–496), and USS Thompson (DD–627) shelled the enemy fortifications; Whereas, at the Battle of Leyte Gulf, the largest naval battle of World War II, two destroyers, the USS Hoel (DD–533) and the USS Johnston (DD–557) were lost; Whereas, at the Battle of Okinawa, destroyers were instrumental in providing radar picket protection to Okinawa Island, and out of 101 destroyers, destroyer minelayers, and destroyer minesweepers assigned to radar pickets, 10 were sunk and 32 were damaged by kamikaze attacks; Whereas a total of 76 United States destroyers were sunk during World War II; Whereas, during the Korean war, six United States destroyers, USS Collett (DD–730), USS De Haven (DD–727), USS Gurke (DD–783), USS Henderson (DD–785), USS Lyman K. Swenson (DD–729), and USS Mansfield (DD–728), were instrumental in clearing the beachhead prior to the amphibious assault at the Battle of Incheon, South Korea, in September 1950; Whereas, on August 2, 1964, the destroyer USS Maddox (DD–731) engaged in fire with North Vietnamese Navy torpedo boats and became the impetus for the Gulf of Tonkin Resolution; Whereas the USS Arleigh Burke (DDG–51) was commissioned on July 4, 1991, named after Admiral Arleigh Burke, the longest serving Chief of Naval Operations in the history of the United States Navy, and is the lead ship of the Arleigh Burke class of guided missile destroyers; Whereas, on October 12, 2000, the USS Cole (DDG–67) was attacked by terrorists while at anchor in Aden, Yemen, and 17 crewmembers were lost and 39 injured; Whereas, on November 29, 2003, the USS Cole (DDG–67) redeployed on its first overseas deployment following the attack