Which ship was built in the US for the United Kingdom's naval warfare force?