A formation generation algorithm of multiple agents in naval battlefield environments. (27th March 2019)