Gibraltar's armed police officers arrest a man accused of making death threats to police, and Customs officers search a huge cargo boat from Colombia.
