Britain sent troops to aid Portugal.  What was the result?