How many civilians died in the war during which USS "Felicia" was acquired by the U.S. Navy?