json format for shipdefs