Also on 9 June , it was reported that 13 Philippine Marines had been killed .
40 wounded during a clearing operation in Marawi .
Also on 9 June , it was reported that 13 Philippine Marines had been killed and 40 wounded during a clearing operation in Marawi .