Did the royal engineers become royal in 1787?