(Reporting by Forrest Crellin; Editing by Frank Jack Daniel)