From BBC : US to boost Europe arms deployment