Were these Mexican-American War heroes real?

They’re Mexico’s biggest heroes, who sacrificed themselves to save Mexican pride: But did they even exist?