How Big Was The Royal Navy In 1982