Vaughan Jr appointed manager of FC Boca Gibraltar