Raptor baseball campaign ends at district semifinal