HMS "Royal Oak" was one of how many, "Revenge"-class battleships, built for the Royal Navy during the First World War?