How were the pitons formed. Army used Seneca Rocks for training.