The battle of Derna in the US-Barbary Coast war.