4 hurt as gunmen storm Maguindanao market - TrueID