Battle of san patricio