¿Cuáles fueron los buques que lanzaron los misiles Tomahawk en Siria? Una breve descripción de sus características y la historia de su construcción.