Colombian patrol boats head to Brazil as part of arms deal